#include "types.h"
struct spinlock {
    uint locked;

    char* name;
};